pragma Ada_95;
pragma Source_File_Name (ada_main, Spec_File_Name => "b~partition.ads");
pragma Source_File_Name (ada_main, Body_File_Name => "b~partition.adb");

with System.Restrictions;
with Ada.Exceptions;

package body ada_main is
   pragma Warnings (Off);

   E263 : Short_Integer; pragma Import (Ada, E263, "system__stack_usage_E");
   E016 : Short_Integer; pragma Import (Ada, E016, "system__soft_links_E");
   E683 : Short_Integer; pragma Import (Ada, E683, "system__fat_flt_E");
   E143 : Short_Integer; pragma Import (Ada, E143, "system__fat_llf_E");
   E539 : Short_Integer; pragma Import (Ada, E539, "gnat__exception_actions_E");
   E026 : Short_Integer; pragma Import (Ada, E026, "system__exception_table_E");
   E151 : Short_Integer; pragma Import (Ada, E151, "ada__io_exceptions_E");
   E675 : Short_Integer; pragma Import (Ada, E675, "ada__numerics_E");
   E115 : Short_Integer; pragma Import (Ada, E115, "ada__strings_E");
   E117 : Short_Integer; pragma Import (Ada, E117, "ada__strings__maps_E");
   E120 : Short_Integer; pragma Import (Ada, E120, "ada__strings__maps__constants_E");
   E050 : Short_Integer; pragma Import (Ada, E050, "ada__tags_E");
   E065 : Short_Integer; pragma Import (Ada, E065, "ada__streams_E");
   E220 : Short_Integer; pragma Import (Ada, E220, "interfaces__c_E");
   E222 : Short_Integer; pragma Import (Ada, E222, "interfaces__c__strings_E");
   E126 : Short_Integer; pragma Import (Ada, E126, "system__regpat_E");
   E498 : Short_Integer; pragma Import (Ada, E498, "ada__calendar_E");
   E496 : Short_Integer; pragma Import (Ada, E496, "ada__calendar__delays_E");
   E662 : Short_Integer; pragma Import (Ada, E662, "system__dsa_types_E");
   E693 : Short_Integer; pragma Import (Ada, E693, "system__random_numbers_E");
   E319 : Short_Integer; pragma Import (Ada, E319, "system__rpc_E");
   E020 : Short_Integer; pragma Import (Ada, E020, "system__secondary_stack_E");
   E067 : Short_Integer; pragma Import (Ada, E067, "system__finalization_root_E");
   E064 : Short_Integer; pragma Import (Ada, E064, "ada__finalization_E");
   E174 : Short_Integer; pragma Import (Ada, E174, "ada__strings__unbounded_E");
   E161 : Short_Integer; pragma Import (Ada, E161, "ada__strings__wide_maps_E");
   E178 : Short_Integer; pragma Import (Ada, E178, "ada__strings__wide_unbounded_E");
   E075 : Short_Integer; pragma Import (Ada, E075, "system__storage_pools_E");
   E062 : Short_Integer; pragma Import (Ada, E062, "ada__finalization__heap_management_E");
   E225 : Short_Integer; pragma Import (Ada, E225, "system__os_lib_E");
   E088 : Short_Integer; pragma Import (Ada, E088, "system__pool_global_E");
   E491 : Short_Integer; pragma Import (Ada, E491, "gnat__sockets_E");
   E505 : Short_Integer; pragma Import (Ada, E505, "gnat__sockets__thin_common_E");
   E494 : Short_Integer; pragma Import (Ada, E494, "gnat__sockets__thin_E");
   E228 : Short_Integer; pragma Import (Ada, E228, "system__file_control_block_E");
   E212 : Short_Integer; pragma Import (Ada, E212, "ada__streams__stream_io_E");
   E218 : Short_Integer; pragma Import (Ada, E218, "system__file_io_E");
   E507 : Short_Integer; pragma Import (Ada, E507, "system__pool_size_E");
   E210 : Short_Integer; pragma Import (Ada, E210, "system__strings__stream_ops_E");
   E641 : Short_Integer; pragma Import (Ada, E641, "system__tasking__async_delays_E");
   E604 : Short_Integer; pragma Import (Ada, E604, "system__tasking__initialization_E");
   E594 : Short_Integer; pragma Import (Ada, E594, "system__tasking__protected_objects_E");
   E632 : Short_Integer; pragma Import (Ada, E632, "system__tasking__task_attributes_E");
   E622 : Short_Integer; pragma Import (Ada, E622, "ada__real_time_E");
   E445 : Short_Integer; pragma Import (Ada, E445, "ada__text_io_E");
   E600 : Short_Integer; pragma Import (Ada, E600, "system__tasking__protected_objects__entries_E");
   E610 : Short_Integer; pragma Import (Ada, E610, "system__tasking__queuing_E");
   E628 : Short_Integer; pragma Import (Ada, E628, "system__tasking__stages_E");
   E643 : Short_Integer; pragma Import (Ada, E643, "system__interrupt_management__operations_E");
   E208 : Short_Integer; pragma Import (Ada, E208, "polyorb__components_E");
   E058 : Short_Integer; pragma Import (Ada, E058, "polyorb__log_E");
   E265 : Short_Integer; pragma Import (Ada, E265, "polyorb__qos_E");
   E327 : Short_Integer; pragma Import (Ada, E327, "polyorb__sequences_E");
   E167 : Short_Integer; pragma Import (Ada, E167, "polyorb__smart_pointers_E");
   E369 : Short_Integer; pragma Import (Ada, E369, "polyorb__smart_pointers__controlled_entities_E");
   E102 : Short_Integer; pragma Import (Ada, E102, "polyorb__tasking__mutexes_E");
   E293 : Short_Integer; pragma Import (Ada, E293, "polyorb__tasking__condition_variables_E");
   E278 : Short_Integer; pragma Import (Ada, E278, "polyorb__tasking__threads_E");
   E172 : Short_Integer; pragma Import (Ada, E172, "polyorb__types_E");
   E130 : Short_Integer; pragma Import (Ada, E130, "polyorb__any_E");
   E196 : Short_Integer; pragma Import (Ada, E196, "polyorb__errors_E");
   E078 : Short_Integer; pragma Import (Ada, E078, "polyorb__utils_E");
   E169 : Short_Integer; pragma Import (Ada, E169, "polyorb__parameters_E");
   E358 : Short_Integer; pragma Import (Ada, E358, "polyorb__utils__hfunctions_E");
   E360 : Short_Integer; pragma Import (Ada, E360, "polyorb__utils__hfunctions__hyper_E");
   E202 : Short_Integer; pragma Import (Ada, E202, "polyorb__buffers_E");
   E283 : Short_Integer; pragma Import (Ada, E283, "polyorb__representations_E");
   E192 : Short_Integer; pragma Import (Ada, E192, "polyorb__annotations_E");
   E291 : Short_Integer; pragma Import (Ada, E291, "polyorb__jobs_E");
   E289 : Short_Integer; pragma Import (Ada, E289, "polyorb__asynch_ev_E");
   E287 : Short_Integer; pragma Import (Ada, E287, "polyorb__task_info_E");
   E313 : Short_Integer; pragma Import (Ada, E313, "polyorb__tasking__idle_tasks_managers_E");
   E095 : Short_Integer; pragma Import (Ada, E095, "polyorb__utils__strings__lists_E");
   E060 : Short_Integer; pragma Import (Ada, E060, "polyorb__initialization_E");
   E285 : Short_Integer; pragma Import (Ada, E285, "polyorb__any__exceptionlist_E");
   E184 : Short_Integer; pragma Import (Ada, E184, "polyorb__any__initialization_E");
   E270 : Short_Integer; pragma Import (Ada, E270, "polyorb__any__nvlist_E");
   E315 : Short_Integer; pragma Import (Ada, E315, "polyorb__dsa_p__exceptions_E");
   E235 : Short_Integer; pragma Import (Ada, E235, "polyorb__errors__helper_E");
   E317 : Short_Integer; pragma Import (Ada, E317, "polyorb__exceptions_E");
   E198 : Short_Integer; pragma Import (Ada, E198, "polyorb__filters_E");
   E569 : Short_Integer; pragma Import (Ada, E569, "polyorb__giop_p__code_sets_E");
   E478 : Short_Integer; pragma Import (Ada, E478, "polyorb__giop_p__exceptions_E");
   E537 : Short_Integer; pragma Import (Ada, E537, "polyorb__log__exceptions_E");
   E541 : Short_Integer; pragma Import (Ada, E541, "polyorb__log__initialization_E");
   E543 : Short_Integer; pragma Import (Ada, E543, "polyorb__log__stderr_E");
   E549 : Short_Integer; pragma Import (Ada, E549, "polyorb__parameters__command_line_E");
   E553 : Short_Integer; pragma Import (Ada, E553, "polyorb__parameters__environment_E");
   E297 : Short_Integer; pragma Import (Ada, E297, "polyorb__parameters__initialization_E");
   E376 : Short_Integer; pragma Import (Ada, E376, "polyorb__poa_policies_E");
   E375 : Short_Integer; pragma Import (Ada, E375, "polyorb__poa_config_E");
   E581 : Short_Integer; pragma Import (Ada, E581, "polyorb__qos__addressing_modes_E");
   E482 : Short_Integer; pragma Import (Ada, E482, "polyorb__qos__static_buffers_E");
   E427 : Short_Integer; pragma Import (Ada, E427, "polyorb__representations__cdr_E");
   E484 : Short_Integer; pragma Import (Ada, E484, "polyorb__representations__cdr__giop_utils_E");
   E349 : Short_Integer; pragma Import (Ada, E349, "polyorb__sequences__helper_E");
   E347 : Short_Integer; pragma Import (Ada, E347, "polyorb__sequences__bounded__helper_E");
   E351 : Short_Integer; pragma Import (Ada, E351, "polyorb__sequences__unbounded__helper_E");
   E325 : Short_Integer; pragma Import (Ada, E325, "polyorb__services__naming_E");
   E303 : Short_Integer; pragma Import (Ada, E303, "polyorb__smart_pointers__initialization_E");
   E509 : Short_Integer; pragma Import (Ada, E509, "polyorb__sockets_initialization_E");
   E527 : Short_Integer; pragma Import (Ada, E527, "polyorb__asynch_ev__sockets_E");
   E276 : Short_Integer; pragma Import (Ada, E276, "polyorb__tasking__abortables_E");
   E592 : Short_Integer; pragma Import (Ada, E592, "polyorb__tasking__profiles__full_tasking__condition_variables_E");
   E618 : Short_Integer; pragma Import (Ada, E618, "polyorb__tasking__profiles__full_tasking__mutexes_E");
   E620 : Short_Integer; pragma Import (Ada, E620, "polyorb__tasking__profiles__full_tasking__threads_E");
   E636 : Short_Integer; pragma Import (Ada, E636, "polyorb__tasking__profiles__full_tasking__threads__static_priorities_E");
   E639 : Short_Integer; pragma Import (Ada, E639, "polyorb__tasking__profiles__full_tasking_atc__abortables_E");
   E634 : Short_Integer; pragma Import (Ada, E634, "polyorb__tasking__threads__annotations_E");
   E630 : Short_Integer; pragma Import (Ada, E630, "polyorb__tasking__profiles__full_tasking__threads__annotations_E");
   E441 : Short_Integer; pragma Import (Ada, E441, "polyorb__termination_activity_E");
   E230 : Short_Integer; pragma Import (Ada, E230, "polyorb__transport_E");
   E180 : Short_Integer; pragma Import (Ada, E180, "polyorb__binding_data_E");
   E186 : Short_Integer; pragma Import (Ada, E186, "polyorb__binding_data__local_E");
   E513 : Short_Integer; pragma Import (Ada, E513, "polyorb__binding_data_qos_E");
   E194 : Short_Integer; pragma Import (Ada, E194, "polyorb__binding_objects_E");
   E710 : Short_Integer; pragma Import (Ada, E710, "polyorb__binding_data__neighbour_E");
   E190 : Short_Integer; pragma Import (Ada, E190, "polyorb__binding_object_qos_E");
   E307 : Short_Integer; pragma Import (Ada, E307, "polyorb__binding_objects__lists_E");
   E200 : Short_Integer; pragma Import (Ada, E200, "polyorb__filters__iface_E");
   E517 : Short_Integer; pragma Import (Ada, E517, "polyorb__filters__slicers_E");
   E239 : Short_Integer; pragma Import (Ada, E239, "polyorb__references_E");
   E237 : Short_Integer; pragma Import (Ada, E237, "polyorb__any__objref_E");
   E321 : Short_Integer; pragma Import (Ada, E321, "polyorb__dsa_p__name_service_E");
   E323 : Short_Integer; pragma Import (Ada, E323, "polyorb__dsa_p__name_service__cos_naming_E");
   E339 : Short_Integer; pragma Import (Ada, E339, "polyorb__dsa_p__name_service__mdns_E");
   E343 : Short_Integer; pragma Import (Ada, E343, "polyorb__dsa_p__name_service__mdns__helper_E");
   E341 : Short_Integer; pragma Import (Ada, E341, "polyorb__dsa_p__name_service__mdns__client_E");
   E268 : Short_Integer; pragma Import (Ada, E268, "polyorb__if_descriptors_E");
   E355 : Short_Integer; pragma Import (Ada, E355, "polyorb__references__corbaloc_E");
   E545 : Short_Integer; pragma Import (Ada, E545, "polyorb__references__file_E");
   E435 : Short_Integer; pragma Import (Ada, E435, "polyorb__references__ior_E");
   E311 : Short_Integer; pragma Import (Ada, E311, "polyorb__request_scheduler_E");
   E309 : Short_Integer; pragma Import (Ada, E309, "polyorb__orb_controller_E");
   E645 : Short_Integer; pragma Import (Ada, E645, "polyorb__orb_controller__workers_E");
   E233 : Short_Integer; pragma Import (Ada, E233, "polyorb__requests_E");
   E267 : Short_Integer; pragma Import (Ada, E267, "polyorb__protocols_E");
   E271 : Short_Integer; pragma Import (Ada, E271, "polyorb__protocols__iface_E");
   E280 : Short_Integer; pragma Import (Ada, E280, "polyorb__request_qos_E");
   E273 : Short_Integer; pragma Import (Ada, E273, "polyorb__servants_E");
   E367 : Short_Integer; pragma Import (Ada, E367, "polyorb__minimal_servant_E");
   E353 : Short_Integer; pragma Import (Ada, E353, "polyorb__dsa_p__name_service__mdns__servant_E");
   E301 : Short_Integer; pragma Import (Ada, E301, "polyorb__obj_adapters_E");
   E458 : Short_Integer; pragma Import (Ada, E458, "polyorb__minimal_servant__tools_E");
   E373 : Short_Integer; pragma Import (Ada, E373, "polyorb__obj_adapter_qos_E");
   E578 : Short_Integer; pragma Import (Ada, E578, "polyorb__obj_adapters__group_object_adapter_E");
   E460 : Short_Integer; pragma Import (Ada, E460, "polyorb__obj_adapters__simple_E");
   E182 : Short_Integer; pragma Import (Ada, E182, "polyorb__orb_E");
   E231 : Short_Integer; pragma Import (Ada, E231, "polyorb__orb__iface_E");
   E391 : Short_Integer; pragma Import (Ada, E391, "polyorb__poa_policies__thread_policy_E");
   E421 : Short_Integer; pragma Import (Ada, E421, "polyorb__poa_policies__thread_policy__orb_ctrl_E");
   E379 : Short_Integer; pragma Import (Ada, E379, "polyorb__poa_types_E");
   E383 : Short_Integer; pragma Import (Ada, E383, "polyorb__object_maps_E");
   E395 : Short_Integer; pragma Import (Ada, E395, "polyorb__object_maps__system_E");
   E403 : Short_Integer; pragma Import (Ada, E403, "polyorb__object_maps__user_E");
   E377 : Short_Integer; pragma Import (Ada, E377, "polyorb__poa_manager_E");
   E384 : Short_Integer; pragma Import (Ada, E384, "polyorb__poa_policies__id_assignment_policy_E");
   E393 : Short_Integer; pragma Import (Ada, E393, "polyorb__poa_policies__id_assignment_policy__system_E");
   E413 : Short_Integer; pragma Import (Ada, E413, "polyorb__poa_policies__id_assignment_policy__user_E");
   E385 : Short_Integer; pragma Import (Ada, E385, "polyorb__poa_policies__id_uniqueness_policy_E");
   E397 : Short_Integer; pragma Import (Ada, E397, "polyorb__poa_policies__id_uniqueness_policy__multiple_E");
   E654 : Short_Integer; pragma Import (Ada, E654, "polyorb__poa_policies__id_uniqueness_policy__unique_E");
   E386 : Short_Integer; pragma Import (Ada, E386, "polyorb__poa_policies__implicit_activation_policy_E");
   E399 : Short_Integer; pragma Import (Ada, E399, "polyorb__poa_policies__implicit_activation_policy__activation_E");
   E415 : Short_Integer; pragma Import (Ada, E415, "polyorb__poa_policies__implicit_activation_policy__no_activation_E");
   E387 : Short_Integer; pragma Import (Ada, E387, "polyorb__poa_policies__lifespan_policy_E");
   E405 : Short_Integer; pragma Import (Ada, E405, "polyorb__poa_policies__lifespan_policy__persistent_E");
   E656 : Short_Integer; pragma Import (Ada, E656, "polyorb__poa_policies__lifespan_policy__transient_E");
   E388 : Short_Integer; pragma Import (Ada, E388, "polyorb__poa_policies__request_processing_policy_E");
   E658 : Short_Integer; pragma Import (Ada, E658, "polyorb__poa_policies__request_processing_policy__active_object_map_only_E");
   E407 : Short_Integer; pragma Import (Ada, E407, "polyorb__poa_policies__request_processing_policy__use_default_servant_E");
   E419 : Short_Integer; pragma Import (Ada, E419, "polyorb__poa_policies__request_processing_policy__use_servant_manager_E");
   E389 : Short_Integer; pragma Import (Ada, E389, "polyorb__poa_policies__servant_retention_policy_E");
   E417 : Short_Integer; pragma Import (Ada, E417, "polyorb__poa_policies__servant_retention_policy__non_retain_E");
   E411 : Short_Integer; pragma Import (Ada, E411, "polyorb__poa_config__proxies_E");
   E409 : Short_Integer; pragma Import (Ada, E409, "polyorb__poa_config__racws_E");
   E401 : Short_Integer; pragma Import (Ada, E401, "polyorb__poa_policies__servant_retention_policy__retain_E");
   E652 : Short_Integer; pragma Import (Ada, E652, "polyorb__poa_config__root_poa_E");
   E476 : Short_Integer; pragma Import (Ada, E476, "polyorb__protocols__giop_E");
   E559 : Short_Integer; pragma Import (Ada, E559, "polyorb__protocols__giop__giop_1_0_E");
   E565 : Short_Integer; pragma Import (Ada, E565, "polyorb__protocols__giop__giop_1_1_E");
   E521 : Short_Integer; pragma Import (Ada, E521, "polyorb__protocols__giop__iiop_E");
   E580 : Short_Integer; pragma Import (Ada, E580, "polyorb__servants__group_servants_E");
   E274 : Short_Integer; pragma Import (Ada, E274, "polyorb__servants__iface_E");
   E335 : Short_Integer; pragma Import (Ada, E335, "polyorb__services__naming__helper_E");
   E331 : Short_Integer; pragma Import (Ada, E331, "polyorb__services__naming__namingcontext_E");
   E333 : Short_Integer; pragma Import (Ada, E333, "polyorb__services__naming__namingcontext__client_E");
   E337 : Short_Integer; pragma Import (Ada, E337, "polyorb__services__naming__namingcontext__helper_E");
   E456 : Short_Integer; pragma Import (Ada, E456, "polyorb__services__naming__namingcontext__servant_E");
   E462 : Short_Integer; pragma Import (Ada, E462, "polyorb__orb__thread_pool_E");
   E381 : Short_Integer; pragma Import (Ada, E381, "polyorb__poa_manager__basic_manager_E");
   E371 : Short_Integer; pragma Import (Ada, E371, "polyorb__poa_E");
   E450 : Short_Integer; pragma Import (Ada, E450, "polyorb__dsa_p__name_server_E");
   E650 : Short_Integer; pragma Import (Ada, E650, "polyorb__poa__basic_poa_E");
   E299 : Short_Integer; pragma Import (Ada, E299, "polyorb__references__binding_E");
   E660 : Short_Integer; pragma Import (Ada, E660, "polyorb__setup__proxies_poa_E");
   E648 : Short_Integer; pragma Import (Ada, E648, "polyorb__setup__oa__basic_poa_E");
   E305 : Short_Integer; pragma Import (Ada, E305, "polyorb__transport__handlers_E");
   E523 : Short_Integer; pragma Import (Ada, E523, "polyorb__transport__connected_E");
   E571 : Short_Integer; pragma Import (Ada, E571, "polyorb__giop_p__code_sets__converters_E");
   E429 : Short_Integer; pragma Import (Ada, E429, "polyorb__representations__cdr__common_E");
   E425 : Short_Integer; pragma Import (Ada, E425, "polyorb__qos__service_contexts_E");
   E561 : Short_Integer; pragma Import (Ada, E561, "polyorb__giop_p__service_contexts_E");
   E480 : Short_Integer; pragma Import (Ada, E480, "polyorb__protocols__giop__common_E");
   E585 : Short_Integer; pragma Import (Ada, E585, "polyorb__qos__code_sets_E");
   E574 : Short_Integer; pragma Import (Ada, E574, "polyorb__protocols__giop__giop_1_2_E");
   E423 : Short_Integer; pragma Import (Ada, E423, "polyorb__qos__exception_informations_E");
   E472 : Short_Integer; pragma Import (Ada, E472, "polyorb__qos__tagged_components_E");
   E470 : Short_Integer; pragma Import (Ada, E470, "polyorb__giop_p__tagged_components_E");
   E576 : Short_Integer; pragma Import (Ada, E576, "polyorb__giop_p__tagged_components__code_sets_E");
   E474 : Short_Integer; pragma Import (Ada, E474, "polyorb__giop_p__transport_mechanisms_E");
   E467 : Short_Integer; pragma Import (Ada, E467, "polyorb__binding_data__giop_E");
   E486 : Short_Integer; pragma Import (Ada, E486, "polyorb__binding_data__giop__iiop_E");
   E439 : Short_Integer; pragma Import (Ada, E439, "polyorb__qos__term_manager_info_E");
   E563 : Short_Integer; pragma Import (Ada, E563, "polyorb__representations__cdr__giop_1_0_E");
   E567 : Short_Integer; pragma Import (Ada, E567, "polyorb__representations__cdr__giop_1_1_E");
   E583 : Short_Integer; pragma Import (Ada, E583, "polyorb__representations__cdr__giop_1_2_E");
   E557 : Short_Integer; pragma Import (Ada, E557, "polyorb__setup__iiop_E");
   E443 : Short_Integer; pragma Import (Ada, E443, "polyorb__utils__configuration_file_E");
   E555 : Short_Integer; pragma Import (Ada, E555, "polyorb__parameters__file_E");
   E529 : Short_Integer; pragma Import (Ada, E529, "polyorb__utils__socket_access_points_E");
   E511 : Short_Integer; pragma Import (Ada, E511, "polyorb__utils__sockets_E");
   E488 : Short_Integer; pragma Import (Ada, E488, "polyorb__binding_data__giop__inet_E");
   E519 : Short_Integer; pragma Import (Ada, E519, "polyorb__giop_p__tagged_components__alternate_iiop_address_E");
   E515 : Short_Integer; pragma Import (Ada, E515, "polyorb__giop_p__transport_mechanisms__iiop_E");
   E525 : Short_Integer; pragma Import (Ada, E525, "polyorb__transport__connected__sockets_E");
   E531 : Short_Integer; pragma Import (Ada, E531, "polyorb__utils__tcp_access_points_E");
   E465 : Short_Integer; pragma Import (Ada, E465, "polyorb__setup__access_points__iiop_E");
   E110 : Short_Integer; pragma Import (Ada, E110, "system__partition_interface_E");
   E008 : Short_Integer; pragma Import (Ada, E008, "polyorb__dsa_p__partitions_E");
   E702 : Short_Integer; pragma Import (Ada, E702, "polyorb__dsa_p__storages_E");
   E704 : Short_Integer; pragma Import (Ada, E704, "polyorb__dsa_p__storages__config_E");
   E706 : Short_Integer; pragma Import (Ada, E706, "polyorb__termination_manager_E");
   E708 : Short_Integer; pragma Import (Ada, E708, "polyorb__termination_manager__bootstrap_E");
   E700 : Short_Integer; pragma Import (Ada, E700, "system__dsa_services_E");
   E674 : Short_Integer; pragma Import (Ada, E674, "pos_E");
   E672 : Short_Integer; pragma Import (Ada, E672, "field_package_E");
   E670 : Short_Integer; pragma Import (Ada, E670, "ball_E");
   E685 : Short_Integer; pragma Import (Ada, E685, "ball_controller_E");
   E691 : Short_Integer; pragma Import (Ada, E691, "player_package_E");
   E689 : Short_Integer; pragma Import (Ada, E689, "manager_package_E");
   E695 : Short_Integer; pragma Import (Ada, E695, "referee_package_E");
   E697 : Short_Integer; pragma Import (Ada, E697, "timer_package_E");
   E668 : Short_Integer; pragma Import (Ada, E668, "game_E");
   E666 : Short_Integer; pragma Import (Ada, E666, "server_E");
   E002 : Short_Integer; pragma Import (Ada, E002, "partition_E");

   Local_Priority_Specific_Dispatching : constant String := "";
   Local_Interrupt_States : constant String := "";

   Is_Elaborated : Boolean := False;

   procedure finalize_library is
      LE_Set : Boolean;
      pragma Import (Ada, LE_Set, "__gnat_library_exception_set");
   begin
      E697 := E697 - 1;
      declare
         procedure F1;
         pragma Import (Ada, F1, "timer_package__finalize_spec");
      begin
         F1;
      end;
      E670 := E670 - 1;
      declare
         procedure F2;
         pragma Import (Ada, F2, "ball__finalize_spec");
      begin
         F2;
      end;
      E706 := E706 - 1;
      declare
         procedure F3;
         pragma Import (Ada, F3, "polyorb__termination_manager__bootstrap__finalize_body");
      begin
         E708 := E708 - 1;
         F3;
      end;
      declare
         procedure F4;
         pragma Import (Ada, F4, "polyorb__termination_manager__bootstrap__finalize_spec");
      begin
         F4;
      end;
      declare
         procedure F5;
         pragma Import (Ada, F5, "polyorb__termination_manager__finalize_spec");
      begin
         F5;
      end;
      declare
         procedure F6;
         pragma Import (Ada, F6, "polyorb__dsa_p__storages__finalize_body");
      begin
         E702 := E702 - 1;
         F6;
      end;
      declare
         procedure F7;
         pragma Import (Ada, F7, "polyorb__dsa_p__storages__finalize_spec");
      begin
         F7;
      end;
      declare
         procedure F8;
         pragma Import (Ada, F8, "system__partition_interface__finalize_body");
      begin
         E110 := E110 - 1;
         F8;
      end;
      declare
         procedure F9;
         pragma Import (Ada, F9, "system__partition_interface__finalize_spec");
      begin
         F9;
      end;
      E515 := E515 - 1;
      E525 := E525 - 1;
      declare
         procedure F10;
         pragma Import (Ada, F10, "polyorb__transport__connected__sockets__finalize_spec");
      begin
         F10;
      end;
      E486 := E486 - 1;
      declare
         procedure F11;
         pragma Import (Ada, F11, "polyorb__giop_p__transport_mechanisms__iiop__finalize_spec");
      begin
         F11;
      end;
      E519 := E519 - 1;
      declare
         procedure F12;
         pragma Import (Ada, F12, "polyorb__giop_p__tagged_components__alternate_iiop_address__finalize_spec");
      begin
         F12;
      end;
      declare
         procedure F13;
         pragma Import (Ada, F13, "polyorb__parameters__file__finalize_body");
      begin
         E555 := E555 - 1;
         F13;
      end;
      E574 := E574 - 1;
      E583 := E583 - 1;
      declare
         procedure F14;
         pragma Import (Ada, F14, "polyorb__representations__cdr__giop_1_2__finalize_spec");
      begin
         F14;
      end;
      E565 := E565 - 1;
      E567 := E567 - 1;
      declare
         procedure F15;
         pragma Import (Ada, F15, "polyorb__representations__cdr__giop_1_1__finalize_spec");
      begin
         F15;
      end;
      E559 := E559 - 1;
      E563 := E563 - 1;
      declare
         procedure F16;
         pragma Import (Ada, F16, "polyorb__representations__cdr__giop_1_0__finalize_spec");
      begin
         F16;
      end;
      E439 := E439 - 1;
      declare
         procedure F17;
         pragma Import (Ada, F17, "polyorb__qos__term_manager_info__finalize_spec");
      begin
         F17;
      end;
      declare
         procedure F18;
         pragma Import (Ada, F18, "polyorb__binding_data__giop__iiop__finalize_spec");
      begin
         F18;
      end;
      E476 := E476 - 1;
      E474 := E474 - 1;
      declare
         procedure F19;
         pragma Import (Ada, F19, "polyorb__giop_p__transport_mechanisms__finalize_spec");
      begin
         F19;
      end;
      E576 := E576 - 1;
      declare
         procedure F20;
         pragma Import (Ada, F20, "polyorb__giop_p__tagged_components__code_sets__finalize_spec");
      begin
         F20;
      end;
      E470 := E470 - 1;
      declare
         procedure F21;
         pragma Import (Ada, F21, "polyorb__giop_p__tagged_components__finalize_spec");
      begin
         F21;
      end;
      E472 := E472 - 1;
      declare
         procedure F22;
         pragma Import (Ada, F22, "polyorb__qos__tagged_components__finalize_spec");
      begin
         F22;
      end;
      E423 := E423 - 1;
      declare
         procedure F23;
         pragma Import (Ada, F23, "polyorb__qos__exception_informations__finalize_spec");
      begin
         F23;
      end;
      declare
         procedure F24;
         pragma Import (Ada, F24, "polyorb__protocols__giop__giop_1_2__finalize_spec");
      begin
         F24;
      end;
      E585 := E585 - 1;
      declare
         procedure F25;
         pragma Import (Ada, F25, "polyorb__qos__code_sets__finalize_spec");
      begin
         F25;
      end;
      E425 := E425 - 1;
      declare
         procedure F26;
         pragma Import (Ada, F26, "polyorb__qos__service_contexts__finalize_spec");
      begin
         F26;
      end;
      E427 := E427 - 1;
      declare
         procedure F27;
         pragma Import (Ada, F27, "polyorb__references__ior__finalize_body");
      begin
         E435 := E435 - 1;
         F27;
      end;
      E571 := E571 - 1;
      declare
         procedure F28;
         pragma Import (Ada, F28, "polyorb__giop_p__code_sets__converters__finalize_spec");
      begin
         F28;
      end;
      E523 := E523 - 1;
      declare
         procedure F29;
         pragma Import (Ada, F29, "polyorb__transport__connected__finalize_spec");
      begin
         F29;
      end;
      declare
         procedure F30;
         pragma Import (Ada, F30, "polyorb__orb__finalize_body");
      begin
         E182 := E182 - 1;
         F30;
      end;
      E305 := E305 - 1;
      declare
         procedure F31;
         pragma Import (Ada, F31, "polyorb__transport__handlers__finalize_spec");
      begin
         F31;
      end;
      E321 := E321 - 1;
      E650 := E650 - 1;
      declare
         procedure F32;
         pragma Import (Ada, F32, "polyorb__poa__basic_poa__finalize_spec");
      begin
         F32;
      end;
      declare
         procedure F33;
         pragma Import (Ada, F33, "polyorb__dsa_p__name_server__finalize_body");
      begin
         E450 := E450 - 1;
         F33;
      end;
      declare
         procedure F34;
         pragma Import (Ada, F34, "polyorb__dsa_p__name_service__mdns__finalize_body");
      begin
         E339 := E339 - 1;
         F34;
      end;
      E393 := E393 - 1;
      E413 := E413 - 1;
      E397 := E397 - 1;
      E654 := E654 - 1;
      E399 := E399 - 1;
      E656 := E656 - 1;
      E658 := E658 - 1;
      E407 := E407 - 1;
      E419 := E419 - 1;
      E401 := E401 - 1;
      E371 := E371 - 1;
      declare
         procedure F35;
         pragma Import (Ada, F35, "polyorb__poa__finalize_spec");
      begin
         F35;
      end;
      E381 := E381 - 1;
      declare
         procedure F36;
         pragma Import (Ada, F36, "polyorb__poa_manager__basic_manager__finalize_spec");
      begin
         F36;
      end;
      E462 := E462 - 1;
      declare
         procedure F37;
         pragma Import (Ada, F37, "polyorb__orb__thread_pool__finalize_spec");
      begin
         F37;
      end;
      E180 := E180 - 1;
      declare
         procedure F38;
         pragma Import (Ada, F38, "polyorb__requests__finalize_body");
      begin
         E233 := E233 - 1;
         F38;
      end;
      E580 := E580 - 1;
      declare
         procedure F39;
         pragma Import (Ada, F39, "polyorb__services__naming__namingcontext__servant__finalize_body");
      begin
         E456 := E456 - 1;
         F39;
      end;
      declare
         procedure F40;
         pragma Import (Ada, F40, "polyorb__services__naming__namingcontext__servant__finalize_spec");
      begin
         F40;
      end;
      declare
         procedure F41;
         pragma Import (Ada, F41, "polyorb__services__naming__namingcontext__client__finalize_body");
      begin
         E333 := E333 - 1;
         F41;
      end;
      E337 := E337 - 1;
      declare
         procedure F42;
         pragma Import (Ada, F42, "polyorb__services__naming__namingcontext__helper__finalize_spec");
      begin
         F42;
      end;
      E323 := E323 - 1;
      E331 := E331 - 1;
      declare
         procedure F43;
         pragma Import (Ada, F43, "polyorb__services__naming__namingcontext__finalize_spec");
      begin
         F43;
      end;
      E335 := E335 - 1;
      declare
         procedure F44;
         pragma Import (Ada, F44, "polyorb__services__naming__helper__finalize_spec");
      begin
         F44;
      end;
      E267 := E267 - 1;
      declare
         procedure F45;
         pragma Import (Ada, F45, "polyorb__servants__finalize_body");
      begin
         E273 := E273 - 1;
         F45;
      end;
      declare
         procedure F46;
         pragma Import (Ada, F46, "polyorb__servants__iface__finalize_spec");
      begin
         E274 := E274 - 1;
         F46;
      end;
      E578 := E578 - 1;
      declare
         procedure F47;
         pragma Import (Ada, F47, "polyorb__servants__group_servants__finalize_spec");
      begin
         F47;
      end;
      E521 := E521 - 1;
      declare
         procedure F48;
         pragma Import (Ada, F48, "polyorb__protocols__giop__iiop__finalize_spec");
      begin
         F48;
      end;
      declare
         procedure F49;
         pragma Import (Ada, F49, "polyorb__protocols__giop__giop_1_1__finalize_spec");
      begin
         F49;
      end;
      declare
         procedure F50;
         pragma Import (Ada, F50, "polyorb__protocols__giop__giop_1_0__finalize_spec");
      begin
         F50;
      end;
      declare
         procedure F51;
         pragma Import (Ada, F51, "polyorb__protocols__giop__finalize_spec");
      begin
         F51;
      end;
      E652 := E652 - 1;
      declare
         procedure F52;
         pragma Import (Ada, F52, "polyorb__poa_config__root_poa__finalize_spec");
      begin
         F52;
      end;
      declare
         procedure F53;
         pragma Import (Ada, F53, "polyorb__poa_policies__servant_retention_policy__retain__finalize_spec");
      begin
         F53;
      end;
      E409 := E409 - 1;
      declare
         procedure F54;
         pragma Import (Ada, F54, "polyorb__poa_config__racws__finalize_spec");
      begin
         F54;
      end;
      E411 := E411 - 1;
      declare
         procedure F55;
         pragma Import (Ada, F55, "polyorb__poa_config__proxies__finalize_spec");
      begin
         F55;
      end;
      E417 := E417 - 1;
      declare
         procedure F56;
         pragma Import (Ada, F56, "polyorb__poa_policies__servant_retention_policy__non_retain__finalize_spec");
      begin
         F56;
      end;
      declare
         procedure F57;
         pragma Import (Ada, F57, "polyorb__poa_policies__servant_retention_policy__finalize_spec");
      begin
         E389 := E389 - 1;
         F57;
      end;
      declare
         procedure F58;
         pragma Import (Ada, F58, "polyorb__poa_policies__request_processing_policy__use_servant_manager__finalize_spec");
      begin
         F58;
      end;
      declare
         procedure F59;
         pragma Import (Ada, F59, "polyorb__poa_policies__request_processing_policy__use_default_servant__finalize_spec");
      begin
         F59;
      end;
      declare
         procedure F60;
         pragma Import (Ada, F60, "polyorb__poa_policies__request_processing_policy__active_object_map_only__finalize_spec");
      begin
         F60;
      end;
      declare
         procedure F61;
         pragma Import (Ada, F61, "polyorb__poa_policies__request_processing_policy__finalize_spec");
      begin
         E388 := E388 - 1;
         F61;
      end;
      declare
         procedure F62;
         pragma Import (Ada, F62, "polyorb__poa_policies__lifespan_policy__transient__finalize_spec");
      begin
         F62;
      end;
      E405 := E405 - 1;
      declare
         procedure F63;
         pragma Import (Ada, F63, "polyorb__poa_policies__lifespan_policy__persistent__finalize_spec");
      begin
         F63;
      end;
      declare
         procedure F64;
         pragma Import (Ada, F64, "polyorb__poa_policies__lifespan_policy__finalize_spec");
      begin
         E387 := E387 - 1;
         F64;
      end;
      E415 := E415 - 1;
      declare
         procedure F65;
         pragma Import (Ada, F65, "polyorb__poa_policies__implicit_activation_policy__no_activation__finalize_spec");
      begin
         F65;
      end;
      declare
         procedure F66;
         pragma Import (Ada, F66, "polyorb__poa_policies__implicit_activation_policy__activation__finalize_spec");
      begin
         F66;
      end;
      declare
         procedure F67;
         pragma Import (Ada, F67, "polyorb__poa_policies__implicit_activation_policy__finalize_spec");
      begin
         E386 := E386 - 1;
         F67;
      end;
      declare
         procedure F68;
         pragma Import (Ada, F68, "polyorb__poa_policies__id_uniqueness_policy__unique__finalize_spec");
      begin
         F68;
      end;
      declare
         procedure F69;
         pragma Import (Ada, F69, "polyorb__poa_policies__id_uniqueness_policy__multiple__finalize_spec");
      begin
         F69;
      end;
      declare
         procedure F70;
         pragma Import (Ada, F70, "polyorb__poa_policies__id_uniqueness_policy__finalize_spec");
      begin
         E385 := E385 - 1;
         F70;
      end;
      declare
         procedure F71;
         pragma Import (Ada, F71, "polyorb__poa_policies__id_assignment_policy__user__finalize_spec");
      begin
         F71;
      end;
      declare
         procedure F72;
         pragma Import (Ada, F72, "polyorb__poa_policies__id_assignment_policy__system__finalize_spec");
      begin
         F72;
      end;
      declare
         procedure F73;
         pragma Import (Ada, F73, "polyorb__poa_policies__id_assignment_policy__finalize_spec");
      begin
         E384 := E384 - 1;
         F73;
      end;
      declare
         procedure F74;
         pragma Import (Ada, F74, "polyorb__poa_manager__finalize_spec");
      begin
         E377 := E377 - 1;
         F74;
      end;
      E403 := E403 - 1;
      declare
         procedure F75;
         pragma Import (Ada, F75, "polyorb__object_maps__user__finalize_spec");
      begin
         F75;
      end;
      E395 := E395 - 1;
      declare
         procedure F76;
         pragma Import (Ada, F76, "polyorb__object_maps__system__finalize_spec");
      begin
         F76;
      end;
      E383 := E383 - 1;
      declare
         procedure F77;
         pragma Import (Ada, F77, "polyorb__object_maps__finalize_spec");
      begin
         F77;
      end;
      E379 := E379 - 1;
      declare
         procedure F78;
         pragma Import (Ada, F78, "polyorb__poa_types__finalize_spec");
      begin
         F78;
      end;
      E421 := E421 - 1;
      declare
         procedure F79;
         pragma Import (Ada, F79, "polyorb__poa_policies__thread_policy__orb_ctrl__finalize_spec");
      begin
         F79;
      end;
      E391 := E391 - 1;
      declare
         procedure F80;
         pragma Import (Ada, F80, "polyorb__poa_policies__thread_policy__finalize_spec");
      begin
         F80;
      end;
      E230 := E230 - 1;
      declare
         procedure F81;
         pragma Import (Ada, F81, "polyorb__orb__iface__finalize_spec");
      begin
         E231 := E231 - 1;
         F81;
      end;
      E194 := E194 - 1;
      declare
         procedure F82;
         pragma Import (Ada, F82, "polyorb__orb_controller__finalize_body");
      begin
         E309 := E309 - 1;
         F82;
      end;
      declare
         procedure F83;
         pragma Import (Ada, F83, "polyorb__orb__finalize_spec");
      begin
         F83;
      end;
      E460 := E460 - 1;
      declare
         procedure F84;
         pragma Import (Ada, F84, "polyorb__obj_adapters__simple__finalize_spec");
      begin
         F84;
      end;
      declare
         procedure F85;
         pragma Import (Ada, F85, "polyorb__obj_adapters__group_object_adapter__finalize_spec");
      begin
         F85;
      end;
      declare
         procedure F86;
         pragma Import (Ada, F86, "polyorb__obj_adapter_qos__finalize_body");
      begin
         E373 := E373 - 1;
         F86;
      end;
      E301 := E301 - 1;
      declare
         procedure F87;
         pragma Import (Ada, F87, "polyorb__obj_adapters__finalize_spec");
      begin
         F87;
      end;
      E353 := E353 - 1;
      declare
         procedure F88;
         pragma Import (Ada, F88, "polyorb__dsa_p__name_service__mdns__servant__finalize_spec");
      begin
         F88;
      end;
      E367 := E367 - 1;
      declare
         procedure F89;
         pragma Import (Ada, F89, "polyorb__minimal_servant__finalize_spec");
      begin
         F89;
      end;
      declare
         procedure F90;
         pragma Import (Ada, F90, "polyorb__servants__finalize_spec");
      begin
         F90;
      end;
      declare
         procedure F91;
         pragma Import (Ada, F91, "polyorb__request_qos__finalize_body");
      begin
         E280 := E280 - 1;
         F91;
      end;
      declare
         procedure F92;
         pragma Import (Ada, F92, "polyorb__protocols__iface__finalize_spec");
      begin
         E271 := E271 - 1;
         F92;
      end;
      declare
         procedure F93;
         pragma Import (Ada, F93, "polyorb__protocols__finalize_spec");
      begin
         F93;
      end;
      declare
         procedure F94;
         pragma Import (Ada, F94, "polyorb__dsa_p__name_service__mdns__client__finalize_body");
      begin
         E341 := E341 - 1;
         F94;
      end;
      declare
         procedure F95;
         pragma Import (Ada, F95, "polyorb__requests__finalize_spec");
      begin
         F95;
      end;
      E645 := E645 - 1;
      declare
         procedure F96;
         pragma Import (Ada, F96, "polyorb__orb_controller__workers__finalize_spec");
      begin
         F96;
      end;
      declare
         procedure F97;
         pragma Import (Ada, F97, "polyorb__orb_controller__finalize_spec");
      begin
         F97;
      end;
      E311 := E311 - 1;
      declare
         procedure F98;
         pragma Import (Ada, F98, "polyorb__request_scheduler__finalize_spec");
      begin
         F98;
      end;
      declare
         procedure F99;
         pragma Import (Ada, F99, "polyorb__references__corbaloc__finalize_body");
      begin
         E355 := E355 - 1;
         F99;
      end;
      declare
         procedure F100;
         pragma Import (Ada, F100, "polyorb__if_descriptors__finalize_spec");
      begin
         E268 := E268 - 1;
         F100;
      end;
      E343 := E343 - 1;
      declare
         procedure F101;
         pragma Import (Ada, F101, "polyorb__dsa_p__name_service__mdns__helper__finalize_spec");
      begin
         F101;
      end;
      declare
         procedure F102;
         pragma Import (Ada, F102, "polyorb__dsa_p__name_service__mdns__finalize_spec");
      begin
         F102;
      end;
      declare
         procedure F103;
         pragma Import (Ada, F103, "polyorb__dsa_p__name_service__cos_naming__finalize_spec");
      begin
         F103;
      end;
      declare
         procedure F104;
         pragma Import (Ada, F104, "polyorb__dsa_p__name_service__finalize_spec");
      begin
         F104;
      end;
      declare
         procedure F105;
         pragma Import (Ada, F105, "polyorb__errors__helper__finalize_body");
      begin
         E235 := E235 - 1;
         F105;
      end;
      declare
         procedure F106;
         pragma Import (Ada, F106, "polyorb__any__objref__finalize_body");
      begin
         E237 := E237 - 1;
         F106;
      end;
      E239 := E239 - 1;
      declare
         procedure F107;
         pragma Import (Ada, F107, "polyorb__references__finalize_spec");
      begin
         F107;
      end;
      E517 := E517 - 1;
      declare
         procedure F108;
         pragma Import (Ada, F108, "polyorb__filters__slicers__finalize_spec");
      begin
         F108;
      end;
      E198 := E198 - 1;
      E200 := E200 - 1;
      declare
         procedure F109;
         pragma Import (Ada, F109, "polyorb__filters__iface__finalize_spec");
      begin
         F109;
      end;
      declare
         procedure F110;
         pragma Import (Ada, F110, "polyorb__binding_object_qos__finalize_body");
      begin
         E190 := E190 - 1;
         F110;
      end;
      E710 := E710 - 1;
      declare
         procedure F111;
         pragma Import (Ada, F111, "polyorb__binding_data__neighbour__finalize_spec");
      begin
         F111;
      end;
      declare
         procedure F112;
         pragma Import (Ada, F112, "polyorb__binding_objects__finalize_spec");
      begin
         F112;
      end;
      declare
         procedure F113;
         pragma Import (Ada, F113, "polyorb__binding_data_qos__finalize_body");
      begin
         E513 := E513 - 1;
         F113;
      end;
      E186 := E186 - 1;
      declare
         procedure F114;
         pragma Import (Ada, F114, "polyorb__binding_data__local__finalize_spec");
      begin
         F114;
      end;
      declare
         procedure F115;
         pragma Import (Ada, F115, "polyorb__binding_data__finalize_spec");
      begin
         F115;
      end;
      declare
         procedure F116;
         pragma Import (Ada, F116, "polyorb__transport__finalize_spec");
      begin
         F116;
      end;
      declare
         procedure F117;
         pragma Import (Ada, F117, "polyorb__tasking__profiles__full_tasking__threads__annotations__finalize_body");
      begin
         E630 := E630 - 1;
         F117;
      end;
      declare
         procedure F118;
         pragma Import (Ada, F118, "polyorb__tasking__profiles__full_tasking__threads__annotations__finalize_spec");
      begin
         F118;
      end;
      E634 := E634 - 1;
      declare
         procedure F119;
         pragma Import (Ada, F119, "polyorb__tasking__threads__annotations__finalize_spec");
      begin
         F119;
      end;
      declare
         procedure F120;
         pragma Import (Ada, F120, "polyorb__tasking__profiles__full_tasking_atc__abortables__finalize_body");
      begin
         E639 := E639 - 1;
         F120;
      end;
      declare
         procedure F121;
         pragma Import (Ada, F121, "polyorb__tasking__profiles__full_tasking__threads__finalize_body");
      begin
         E620 := E620 - 1;
         F121;
      end;
      declare
         procedure F122;
         pragma Import (Ada, F122, "polyorb__tasking__profiles__full_tasking__threads__finalize_spec");
      begin
         F122;
      end;
      E618 := E618 - 1;
      declare
         procedure F123;
         pragma Import (Ada, F123, "polyorb__tasking__profiles__full_tasking__mutexes__finalize_spec");
      begin
         F123;
      end;
      E592 := E592 - 1;
      declare
         procedure F124;
         pragma Import (Ada, F124, "polyorb__tasking__profiles__full_tasking__condition_variables__finalize_spec");
      begin
         F124;
      end;
      E276 := E276 - 1;
      declare
         procedure F125;
         pragma Import (Ada, F125, "polyorb__tasking__abortables__finalize_spec");
      begin
         F125;
      end;
      E527 := E527 - 1;
      declare
         procedure F126;
         pragma Import (Ada, F126, "polyorb__asynch_ev__sockets__finalize_spec");
      begin
         F126;
      end;
      declare
         procedure F127;
         pragma Import (Ada, F127, "polyorb__services__naming__finalize_spec");
      begin
         E325 := E325 - 1;
         F127;
      end;
      declare
         procedure F128;
         pragma Import (Ada, F128, "polyorb__representations__cdr__finalize_spec");
      begin
         F128;
      end;
      E482 := E482 - 1;
      declare
         procedure F129;
         pragma Import (Ada, F129, "polyorb__qos__static_buffers__finalize_spec");
      begin
         F129;
      end;
      declare
         procedure F130;
         pragma Import (Ada, F130, "polyorb__qos__addressing_modes__finalize_spec");
      begin
         E581 := E581 - 1;
         F130;
      end;
      E375 := E375 - 1;
      declare
         procedure F131;
         pragma Import (Ada, F131, "polyorb__poa_config__finalize_spec");
      begin
         F131;
      end;
      declare
         procedure F132;
         pragma Import (Ada, F132, "polyorb__poa_policies__finalize_spec");
      begin
         E376 := E376 - 1;
         F132;
      end;
      declare
         procedure F133;
         pragma Import (Ada, F133, "polyorb__parameters__environment__finalize_body");
      begin
         E553 := E553 - 1;
         F133;
      end;
      declare
         procedure F134;
         pragma Import (Ada, F134, "polyorb__parameters__command_line__finalize_body");
      begin
         E549 := E549 - 1;
         F134;
      end;
      declare
         procedure F135;
         pragma Import (Ada, F135, "polyorb__filters__finalize_spec");
      begin
         F135;
      end;
      declare
         procedure F136;
         pragma Import (Ada, F136, "polyorb__exceptions__finalize_body");
      begin
         E317 := E317 - 1;
         F136;
      end;
      E270 := E270 - 1;
      declare
         procedure F137;
         pragma Import (Ada, F137, "polyorb__any__nvlist__finalize_spec");
      begin
         F137;
      end;
      E285 := E285 - 1;
      declare
         procedure F138;
         pragma Import (Ada, F138, "polyorb__any__exceptionlist__finalize_spec");
      begin
         F138;
      end;
      declare
         procedure F139;
         pragma Import (Ada, F139, "polyorb__parameters__finalize_body");
      begin
         E169 := E169 - 1;
         F139;
      end;
      E360 := E360 - 1;
      E313 := E313 - 1;
      declare
         procedure F140;
         pragma Import (Ada, F140, "polyorb__tasking__idle_tasks_managers__finalize_spec");
      begin
         F140;
      end;
      E289 := E289 - 1;
      declare
         procedure F141;
         pragma Import (Ada, F141, "polyorb__asynch_ev__finalize_spec");
      begin
         F141;
      end;
      E291 := E291 - 1;
      declare
         procedure F142;
         pragma Import (Ada, F142, "polyorb__jobs__finalize_spec");
      begin
         F142;
      end;
      E192 := E192 - 1;
      declare
         procedure F143;
         pragma Import (Ada, F143, "polyorb__annotations__finalize_spec");
      begin
         F143;
      end;
      E283 := E283 - 1;
      declare
         procedure F144;
         pragma Import (Ada, F144, "polyorb__representations__finalize_spec");
      begin
         F144;
      end;
      declare
         procedure F145;
         pragma Import (Ada, F145, "polyorb__utils__hfunctions__hyper__finalize_spec");
      begin
         F145;
      end;
      declare
         procedure F146;
         pragma Import (Ada, F146, "polyorb__any__finalize_body");
      begin
         E130 := E130 - 1;
         F146;
      end;
      E167 := E167 - 1;
      declare
         procedure F147;
         pragma Import (Ada, F147, "polyorb__parameters__finalize_spec");
      begin
         F147;
      end;
      E196 := E196 - 1;
      declare
         procedure F148;
         pragma Import (Ada, F148, "polyorb__errors__finalize_spec");
      begin
         F148;
      end;
      declare
         procedure F149;
         pragma Import (Ada, F149, "polyorb__any__finalize_spec");
      begin
         F149;
      end;
      E265 := E265 - 1;
      E172 := E172 - 1;
      declare
         procedure F150;
         pragma Import (Ada, F150, "polyorb__types__finalize_spec");
      begin
         F150;
      end;
      E278 := E278 - 1;
      declare
         procedure F151;
         pragma Import (Ada, F151, "polyorb__tasking__threads__finalize_spec");
      begin
         F151;
      end;
      E293 := E293 - 1;
      declare
         procedure F152;
         pragma Import (Ada, F152, "polyorb__tasking__condition_variables__finalize_spec");
      begin
         F152;
      end;
      E102 := E102 - 1;
      declare
         procedure F153;
         pragma Import (Ada, F153, "polyorb__tasking__mutexes__finalize_spec");
      begin
         F153;
      end;
      E369 := E369 - 1;
      declare
         procedure F154;
         pragma Import (Ada, F154, "polyorb__smart_pointers__controlled_entities__finalize_spec");
      begin
         F154;
      end;
      declare
         procedure F155;
         pragma Import (Ada, F155, "polyorb__smart_pointers__finalize_spec");
      begin
         F155;
      end;
      declare
         procedure F156;
         pragma Import (Ada, F156, "polyorb__qos__finalize_spec");
      begin
         F156;
      end;
      E208 := E208 - 1;
      declare
         procedure F157;
         pragma Import (Ada, F157, "polyorb__components__finalize_spec");
      begin
         F157;
      end;
      E600 := E600 - 1;
      declare
         procedure F158;
         pragma Import (Ada, F158, "system__tasking__protected_objects__entries__finalize_spec");
      begin
         F158;
      end;
      declare
         procedure F159;
         pragma Import (Ada, F159, "ada__text_io__finalize_body");
      begin
         E445 := E445 - 1;
         F159;
      end;
      declare
         procedure F160;
         pragma Import (Ada, F160, "ada__text_io__finalize_spec");
      begin
         F160;
      end;
      E632 := E632 - 1;
      declare
         procedure F161;
         pragma Import (Ada, F161, "system__tasking__task_attributes__finalize_spec");
      begin
         F161;
      end;
      declare
         procedure F162;
         pragma Import (Ada, F162, "gnat__sockets__finalize_body");
      begin
         E491 := E491 - 1;
         F162;
      end;
      E507 := E507 - 1;
      declare
         procedure F163;
         pragma Import (Ada, F163, "system__pool_size__finalize_spec");
      begin
         F163;
      end;
      declare
         procedure F164;
         pragma Import (Ada, F164, "ada__streams__stream_io__finalize_body");
      begin
         E212 := E212 - 1;
         F164;
      end;
      declare
         procedure F165;
         pragma Import (Ada, F165, "system__file_io__finalize_body");
      begin
         E218 := E218 - 1;
         F165;
      end;
      declare
         procedure F166;
         pragma Import (Ada, F166, "ada__streams__stream_io__finalize_spec");
      begin
         F166;
      end;
      declare
         procedure F167;
         pragma Import (Ada, F167, "system__file_control_block__finalize_spec");
      begin
         E228 := E228 - 1;
         F167;
      end;
      declare
         procedure F168;
         pragma Import (Ada, F168, "gnat__sockets__finalize_spec");
      begin
         F168;
      end;
      E088 := E088 - 1;
      declare
         procedure F169;
         pragma Import (Ada, F169, "system__pool_global__finalize_spec");
      begin
         F169;
      end;
      E062 := E062 - 1;
      declare
         procedure F170;
         pragma Import (Ada, F170, "ada__finalization__heap_management__finalize_spec");
      begin
         F170;
      end;
      E178 := E178 - 1;
      declare
         procedure F171;
         pragma Import (Ada, F171, "ada__strings__wide_unbounded__finalize_spec");
      begin
         F171;
      end;
      E161 := E161 - 1;
      declare
         procedure F172;
         pragma Import (Ada, F172, "ada__strings__wide_maps__finalize_spec");
      begin
         F172;
      end;
      E174 := E174 - 1;
      declare
         procedure F173;
         pragma Import (Ada, F173, "ada__strings__unbounded__finalize_spec");
      begin
         F173;
      end;
      E067 := E067 - 1;
      declare
         procedure F174;
         pragma Import (Ada, F174, "system__finalization_root__finalize_spec");
      begin
         F174;
      end;
      E319 := E319 - 1;
      declare
         procedure F175;
         pragma Import (Ada, F175, "system__rpc__finalize_spec");
      begin
         F175;
      end;
      if LE_Set then
         declare
            LE : Ada.Exceptions.Exception_Occurrence;
            pragma Import (Ada, LE, "__gnat_library_exception");
            procedure Raise_From_Controlled_Operation (X : Ada.Exceptions.Exception_Occurrence;  From_Abort : Boolean);
            pragma Import (Ada, Raise_From_Controlled_Operation, "__gnat_raise_from_controlled_operation");
         begin
            Raise_From_Controlled_Operation (LE, False);
         end;
      end if;
   end finalize_library;

   procedure adafinal is
      procedure s_stalib_adafinal;
      pragma Import (C, s_stalib_adafinal, "system__standard_library__adafinal");
   begin
      if not Is_Elaborated then
         return;
      end if;
      Is_Elaborated := False;
      s_stalib_adafinal;
   end adafinal;

   type No_Param_Proc is access procedure;

   procedure adainit is
      Main_Priority : Integer;
      pragma Import (C, Main_Priority, "__gl_main_priority");
      Time_Slice_Value : Integer;
      pragma Import (C, Time_Slice_Value, "__gl_time_slice_val");
      WC_Encoding : Character;
      pragma Import (C, WC_Encoding, "__gl_wc_encoding");
      Locking_Policy : Character;
      pragma Import (C, Locking_Policy, "__gl_locking_policy");
      Queuing_Policy : Character;
      pragma Import (C, Queuing_Policy, "__gl_queuing_policy");
      Task_Dispatching_Policy : Character;
      pragma Import (C, Task_Dispatching_Policy, "__gl_task_dispatching_policy");
      Priority_Specific_Dispatching : System.Address;
      pragma Import (C, Priority_Specific_Dispatching, "__gl_priority_specific_dispatching");
      Num_Specific_Dispatching : Integer;
      pragma Import (C, Num_Specific_Dispatching, "__gl_num_specific_dispatching");
      Main_CPU : Integer;
      pragma Import (C, Main_CPU, "__gl_main_cpu");
      Interrupt_States : System.Address;
      pragma Import (C, Interrupt_States, "__gl_interrupt_states");
      Num_Interrupt_States : Integer;
      pragma Import (C, Num_Interrupt_States, "__gl_num_interrupt_states");
      Unreserve_All_Interrupts : Integer;
      pragma Import (C, Unreserve_All_Interrupts, "__gl_unreserve_all_interrupts");
      Zero_Cost_Exceptions : Integer;
      pragma Import (C, Zero_Cost_Exceptions, "__gl_zero_cost_exceptions");
      Detect_Blocking : Integer;
      pragma Import (C, Detect_Blocking, "__gl_detect_blocking");
      Default_Stack_Size : Integer;
      pragma Import (C, Default_Stack_Size, "__gl_default_stack_size");
      Leap_Seconds_Support : Integer;
      pragma Import (C, Leap_Seconds_Support, "__gl_leap_seconds_support");

      procedure Install_Handler;
      pragma Import (C, Install_Handler, "__gnat_install_handler");

      Handler_Installed : Integer;
      pragma Import (C, Handler_Installed, "__gnat_handler_installed");

      Finalize_Library_Objects : No_Param_Proc;
      pragma Import (C, Finalize_Library_Objects, "__gnat_finalize_library_objects");
   begin
      if Is_Elaborated then
         return;
      end if;
      Is_Elaborated := True;
      Main_Priority := -1;
      Time_Slice_Value := -1;
      WC_Encoding := 'b';
      Locking_Policy := ' ';
      Queuing_Policy := ' ';
      Task_Dispatching_Policy := ' ';
      System.Restrictions.Run_Time_Restrictions :=
        (Set =>
          (False, False, False, False, False, False, False, False, 
           False, False, False, False, False, False, False, False, 
           False, False, False, False, False, False, False, False, 
           False, False, False, False, False, False, False, False, 
           False, False, False, False, False, False, False, False, 
           False, False, False, False, False, False, False, False, 
           False, False, False, False, False, False, False, False, 
           False, False, False, False, False, False, False, False, 
           False, False, False, False, False, False, False, False, 
           False, False),
         Value => (0, 0, 0, 0, 0, 0, 0),
         Violated =>
          (True, False, True, True, False, True, False, True, 
           False, True, True, True, True, False, False, True, 
           False, False, True, True, False, True, True, True, 
           True, True, True, False, True, True, False, True, 
           False, True, True, True, True, True, False, True, 
           True, True, True, False, True, False, True, True, 
           True, False, False, True, True, True, True, True, 
           True, True, True, False, True, True, False, True, 
           True, False, True, True, True, True, True, True, 
           True, False),
         Count => (4, 2, 2, 3, 1, 10, 0),
         Unknown => (False, False, False, True, True, True, False));
      Priority_Specific_Dispatching :=
        Local_Priority_Specific_Dispatching'Address;
      Num_Specific_Dispatching := 0;
      Main_CPU := -1;
      Interrupt_States := Local_Interrupt_States'Address;
      Num_Interrupt_States := 0;
      Unreserve_All_Interrupts := 0;
      Zero_Cost_Exceptions := 1;
      Detect_Blocking := 0;
      Default_Stack_Size := -1;
      Leap_Seconds_Support := 0;

      if Handler_Installed = 0 then
         Install_Handler;
      end if;

      Finalize_Library_Objects := finalize_library'access;

      System.Stack_Usage'Elab_Spec;
      E263 := E263 + 1;
      System.Soft_Links'Elab_Spec;
      System.Fat_Flt'Elab_Spec;
      E683 := E683 + 1;
      System.Fat_Llf'Elab_Spec;
      E143 := E143 + 1;
      System.Exception_Table'Elab_Body;
      E026 := E026 + 1;
      E539 := E539 + 1;
      Ada.Io_Exceptions'Elab_Spec;
      E151 := E151 + 1;
      Ada.Numerics'Elab_Spec;
      E675 := E675 + 1;
      Ada.Strings'Elab_Spec;
      E115 := E115 + 1;
      Ada.Strings.Maps'Elab_Spec;
      Ada.Strings.Maps.Constants'Elab_Spec;
      E120 := E120 + 1;
      Ada.Tags'Elab_Spec;
      Ada.Streams'Elab_Spec;
      E065 := E065 + 1;
      Interfaces.C'Elab_Spec;
      Interfaces.C.Strings'Elab_Spec;
      System.Regpat'Elab_Spec;
      Ada.Calendar'Elab_Spec;
      Ada.Calendar'Elab_Body;
      E498 := E498 + 1;
      Ada.Calendar.Delays'Elab_Body;
      E496 := E496 + 1;
      System.Dsa_Types'Elab_Spec;
      E662 := E662 + 1;
      System.Rpc'Elab_Spec;
      E319 := E319 + 1;
      E126 := E126 + 1;
      E222 := E222 + 1;
      E220 := E220 + 1;
      Ada.Tags'Elab_Body;
      E050 := E050 + 1;
      E117 := E117 + 1;
      System.Soft_Links'Elab_Body;
      E016 := E016 + 1;
      System.Secondary_Stack'Elab_Body;
      E020 := E020 + 1;
      System.Random_Numbers'Elab_Body;
      E693 := E693 + 1;
      System.Finalization_Root'Elab_Spec;
      E067 := E067 + 1;
      Ada.Finalization'Elab_Spec;
      E064 := E064 + 1;
      Ada.Strings.Unbounded'Elab_Spec;
      E174 := E174 + 1;
      Ada.Strings.Wide_Maps'Elab_Spec;
      E161 := E161 + 1;
      Ada.Strings.Wide_Unbounded'Elab_Spec;
      E178 := E178 + 1;
      System.Storage_Pools'Elab_Spec;
      E075 := E075 + 1;
      Ada.Finalization.Heap_Management'Elab_Spec;
      E062 := E062 + 1;
      System.Os_Lib'Elab_Body;
      E225 := E225 + 1;
      System.Pool_Global'Elab_Spec;
      E088 := E088 + 1;
      Gnat.Sockets'Elab_Spec;
      Gnat.Sockets.Thin_Common'Elab_Spec;
      E505 := E505 + 1;
      System.File_Control_Block'Elab_Spec;
      E228 := E228 + 1;
      Ada.Streams.Stream_Io'Elab_Spec;
      System.File_Io'Elab_Body;
      E218 := E218 + 1;
      Ada.Streams.Stream_Io'Elab_Body;
      E212 := E212 + 1;
      System.Pool_Size'Elab_Spec;
      E507 := E507 + 1;
      System.Strings.Stream_Ops'Elab_Body;
      E210 := E210 + 1;
      Gnat.Sockets'Elab_Body;
      E491 := E491 + 1;
      Gnat.Sockets.Thin'Elab_Body;
      E494 := E494 + 1;
      System.Tasking.Initialization'Elab_Body;
      E604 := E604 + 1;
      System.Tasking.Protected_Objects'Elab_Body;
      E594 := E594 + 1;
      System.Tasking.Task_Attributes'Elab_Spec;
      E632 := E632 + 1;
      Ada.Real_Time'Elab_Spec;
      Ada.Real_Time'Elab_Body;
      E622 := E622 + 1;
      Ada.Text_Io'Elab_Spec;
      Ada.Text_Io'Elab_Body;
      E445 := E445 + 1;
      System.Tasking.Protected_Objects.Entries'Elab_Spec;
      E600 := E600 + 1;
      System.Tasking.Queuing'Elab_Body;
      E610 := E610 + 1;
      System.Tasking.Stages'Elab_Body;
      E628 := E628 + 1;
      System.Interrupt_Management.Operations'Elab_Body;
      E643 := E643 + 1;
      System.Tasking.Async_Delays'Elab_Body;
      E641 := E641 + 1;
      Polyorb.Components'Elab_Spec;
      Polyorb.Components'Elab_Body;
      E208 := E208 + 1;
      Polyorb.Qos'Elab_Spec;
      Polyorb.Sequences'Elab_Spec;
      E327 := E327 + 1;
      Polyorb.Smart_Pointers'Elab_Spec;
      Polyorb.Smart_Pointers.Controlled_Entities'Elab_Spec;
      E369 := E369 + 1;
      Polyorb.Tasking.Mutexes'Elab_Spec;
      Polyorb.Tasking.Mutexes'Elab_Body;
      E102 := E102 + 1;
      Polyorb.Tasking.Condition_Variables'Elab_Spec;
      Polyorb.Tasking.Condition_Variables'Elab_Body;
      E293 := E293 + 1;
      Polyorb.Tasking.Threads'Elab_Spec;
      E278 := E278 + 1;
      Polyorb.Types'Elab_Spec;
      E172 := E172 + 1;
      E265 := E265 + 1;
      Polyorb.Any'Elab_Spec;
      Polyorb.Errors'Elab_Spec;
      Polyorb.Errors'Elab_Body;
      E196 := E196 + 1;
      Polyorb.Utils'Elab_Body;
      E078 := E078 + 1;
      Polyorb.Parameters'Elab_Spec;
      Polyorb.Smart_Pointers'Elab_Body;
      E167 := E167 + 1;
      Polyorb.Any'Elab_Body;
      E130 := E130 + 1;
      Polyorb.Utils.Hfunctions'Elab_Spec;
      E358 := E358 + 1;
      Polyorb.Utils.Hfunctions.Hyper'Elab_Spec;
      Polyorb.Buffers'Elab_Spec;
      Polyorb.Buffers'Elab_Body;
      E202 := E202 + 1;
      Polyorb.Representations'Elab_Spec;
      E283 := E283 + 1;
      Polyorb.Annotations'Elab_Spec;
      E192 := E192 + 1;
      Polyorb.Jobs'Elab_Spec;
      E291 := E291 + 1;
      Polyorb.Asynch_Ev'Elab_Spec;
      E289 := E289 + 1;
      POLYORB.TASK_INFO'ELAB_SPEC;
      E287 := E287 + 1;
      POLYORB.TASKING.IDLE_TASKS_MANAGERS'ELAB_SPEC;
      Polyorb.Tasking.Idle_Tasks_Managers'Elab_Body;
      E313 := E313 + 1;
      E360 := E360 + 1;
      Polyorb.Utils.Strings.Lists'Elab_Spec;
      E095 := E095 + 1;
      Polyorb.Initialization'Elab_Body;
      E060 := E060 + 1;
      Polyorb.Parameters'Elab_Body;
      E169 := E169 + 1;
      Polyorb.Log'Elab_Body;
      E058 := E058 + 1;
      Polyorb.Any.Exceptionlist'Elab_Spec;
      Polyorb.Any.Exceptionlist'Elab_Body;
      E285 := E285 + 1;
      Polyorb.Any.Initialization'Elab_Body;
      E184 := E184 + 1;
      Polyorb.Any.Nvlist'Elab_Spec;
      Polyorb.Any.Nvlist'Elab_Body;
      E270 := E270 + 1;
      Polyorb.Exceptions'Elab_Body;
      E317 := E317 + 1;
      E315 := E315 + 1;
      POLYORB.FILTERS'ELAB_SPEC;
      Polyorb.Giop_P.Code_Sets'Elab_Spec;
      Polyorb.Giop_P.Exceptions'Elab_Body;
      E478 := E478 + 1;
      Polyorb.Log.Exceptions'Elab_Body;
      E537 := E537 + 1;
      Polyorb.Log.Initialization'Elab_Body;
      E541 := E541 + 1;
      Polyorb.Log.Stderr'Elab_Body;
      E543 := E543 + 1;
      Polyorb.Parameters.Command_Line'Elab_Body;
      E549 := E549 + 1;
      Polyorb.Parameters.Environment'Elab_Body;
      E553 := E553 + 1;
      Polyorb.Parameters.Initialization'Elab_Body;
      E297 := E297 + 1;
      Polyorb.Poa_Policies'Elab_Spec;
      E376 := E376 + 1;
      Polyorb.Poa_Config'Elab_Spec;
      E375 := E375 + 1;
      Polyorb.Qos.Addressing_Modes'Elab_Spec;
      E581 := E581 + 1;
      Polyorb.Qos.Static_Buffers'Elab_Spec;
      E482 := E482 + 1;
      Polyorb.Representations.Cdr'Elab_Spec;
      Polyorb.Representations.Cdr.Giop_Utils'Elab_Body;
      E484 := E484 + 1;
      E349 := E349 + 1;
      E347 := E347 + 1;
      E351 := E351 + 1;
      Polyorb.Services.Naming'Elab_Spec;
      E325 := E325 + 1;
      Polyorb.Smart_Pointers.Initialization'Elab_Body;
      E303 := E303 + 1;
      Polyorb.Sockets_Initialization'Elab_Body;
      E509 := E509 + 1;
      Polyorb.Asynch_Ev.Sockets'Elab_Spec;
      Polyorb.Asynch_Ev.Sockets'Elab_Body;
      E527 := E527 + 1;
      POLYORB.TASKING.ABORTABLES'ELAB_SPEC;
      E276 := E276 + 1;
      POLYORB.TASKING.PROFILES.FULL_TASKING.CONDITION_VARIABLES'ELAB_SPEC;
      Polyorb.Tasking.Profiles.Full_Tasking.Condition_Variables'Elab_Body;
      E592 := E592 + 1;
      POLYORB.TASKING.PROFILES.FULL_TASKING.MUTEXES'ELAB_SPEC;
      Polyorb.Tasking.Profiles.Full_Tasking.Mutexes'Elab_Body;
      E618 := E618 + 1;
      POLYORB.TASKING.PROFILES.FULL_TASKING.THREADS'ELAB_SPEC;
      Polyorb.Tasking.Profiles.Full_Tasking.Threads'Elab_Body;
      E620 := E620 + 1;
      Polyorb.Tasking.Profiles.Full_Tasking.Threads.Static_Priorities'Elab_Body;
      E636 := E636 + 1;
      POLYORB.TASKING.PROFILES.FULL_TASKING_ATC.ABORTABLES'ELAB_BODY;
      E639 := E639 + 1;
      Polyorb.Tasking.Threads.Annotations'Elab_Spec;
      E634 := E634 + 1;
      Polyorb.Tasking.Profiles.Full_Tasking.Threads.Annotations'Elab_Spec;
      Polyorb.Tasking.Profiles.Full_Tasking.Threads.Annotations'Elab_Body;
      E630 := E630 + 1;
      Polyorb.Termination_Activity'Elab_Body;
      E441 := E441 + 1;
      Polyorb.Transport'Elab_Spec;
      Polyorb.Binding_Data'Elab_Spec;
      Polyorb.Binding_Data.Local'Elab_Spec;
      E186 := E186 + 1;
      Polyorb.Binding_Data_Qos'Elab_Body;
      E513 := E513 + 1;
      Polyorb.Binding_Objects'Elab_Spec;
      Polyorb.Binding_Data.Neighbour'Elab_Spec;
      E710 := E710 + 1;
      Polyorb.Binding_Object_Qos'Elab_Body;
      E190 := E190 + 1;
      Polyorb.Binding_Objects.Lists'Elab_Spec;
      E307 := E307 + 1;
      Polyorb.Filters.Iface'Elab_Spec;
      E200 := E200 + 1;
      Polyorb.Filters'Elab_Body;
      E198 := E198 + 1;
      Polyorb.Filters.Slicers'Elab_Spec;
      Polyorb.Filters.Slicers'Elab_Body;
      E517 := E517 + 1;
      Polyorb.References'Elab_Spec;
      Polyorb.References'Elab_Body;
      E239 := E239 + 1;
      Polyorb.Any.Objref'Elab_Body;
      E237 := E237 + 1;
      Polyorb.Errors.Helper'Elab_Body;
      E235 := E235 + 1;
      Polyorb.Dsa_P.Name_Service'Elab_Spec;
      Polyorb.Dsa_P.Name_Service.Cos_Naming'Elab_Spec;
      Polyorb.Dsa_P.Name_Service.Mdns'Elab_Spec;
      POLYORB.DSA_P.NAME_SERVICE.MDNS.HELPER'ELAB_SPEC;
      Polyorb.Dsa_P.Name_Service.Mdns.Helper'Elab_Body;
      E343 := E343 + 1;
      Polyorb.If_Descriptors'Elab_Spec;
      E268 := E268 + 1;
      Polyorb.References.Corbaloc'Elab_Body;
      E355 := E355 + 1;
      Polyorb.References.File'Elab_Body;
      E545 := E545 + 1;
      Polyorb.Request_Scheduler'Elab_Spec;
      E311 := E311 + 1;
      POLYORB.ORB_CONTROLLER'ELAB_SPEC;
      Polyorb.Orb_Controller.Workers'Elab_Spec;
      Polyorb.Orb_Controller.Workers'Elab_Body;
      E645 := E645 + 1;
      Polyorb.Requests'Elab_Spec;
      Polyorb.Dsa_P.Name_Service.Mdns.Client'Elab_Body;
      E341 := E341 + 1;
      Polyorb.Protocols'Elab_Spec;
      Polyorb.Protocols.Iface'Elab_Spec;
      E271 := E271 + 1;
      Polyorb.Request_Qos'Elab_Body;
      E280 := E280 + 1;
      Polyorb.Servants'Elab_Spec;
      Polyorb.Minimal_Servant'Elab_Spec;
      E367 := E367 + 1;
      Polyorb.Dsa_P.Name_Service.Mdns.Servant'Elab_Spec;
      POLYORB.DSA_P.NAME_SERVICE.MDNS.SERVANT'ELAB_BODY;
      E353 := E353 + 1;
      Polyorb.Obj_Adapters'Elab_Spec;
      E301 := E301 + 1;
      Polyorb.Obj_Adapter_Qos'Elab_Body;
      E373 := E373 + 1;
      Polyorb.Obj_Adapters.Group_Object_Adapter'Elab_Spec;
      Polyorb.Obj_Adapters.Simple'Elab_Spec;
      E460 := E460 + 1;
      POLYORB.ORB'ELAB_SPEC;
      Polyorb.Orb_Controller'Elab_Body;
      E309 := E309 + 1;
      Polyorb.Binding_Objects'Elab_Body;
      E194 := E194 + 1;
      Polyorb.Orb.Iface'Elab_Spec;
      E231 := E231 + 1;
      E230 := E230 + 1;
      Polyorb.Poa_Policies.Thread_Policy'Elab_Spec;
      E391 := E391 + 1;
      Polyorb.Poa_Policies.Thread_Policy.Orb_Ctrl'Elab_Spec;
      E421 := E421 + 1;
      Polyorb.Poa_Types'Elab_Spec;
      Polyorb.Poa_Types'Elab_Body;
      E379 := E379 + 1;
      Polyorb.Object_Maps'Elab_Spec;
      E383 := E383 + 1;
      Polyorb.Object_Maps.System'Elab_Spec;
      Polyorb.Object_Maps.System'Elab_Body;
      E395 := E395 + 1;
      Polyorb.Object_Maps.User'Elab_Spec;
      Polyorb.Object_Maps.User'Elab_Body;
      E403 := E403 + 1;
      Polyorb.Poa_Manager'Elab_Spec;
      E377 := E377 + 1;
      Polyorb.Poa_Policies.Id_Assignment_Policy'Elab_Spec;
      E384 := E384 + 1;
      Polyorb.Poa_Policies.Id_Assignment_Policy.System'Elab_Spec;
      Polyorb.Poa_Policies.Id_Assignment_Policy.User'Elab_Spec;
      Polyorb.Poa_Policies.Id_Uniqueness_Policy'Elab_Spec;
      E385 := E385 + 1;
      Polyorb.Poa_Policies.Id_Uniqueness_Policy.Multiple'Elab_Spec;
      Polyorb.Poa_Policies.Id_Uniqueness_Policy.Unique'Elab_Spec;
      Polyorb.Poa_Policies.Implicit_Activation_Policy'Elab_Spec;
      E386 := E386 + 1;
      Polyorb.Poa_Policies.Implicit_Activation_Policy.Activation'Elab_Spec;
      Polyorb.Poa_Policies.Implicit_Activation_Policy.No_Activation'Elab_Spec;
      E415 := E415 + 1;
      Polyorb.Poa_Policies.Lifespan_Policy'Elab_Spec;
      E387 := E387 + 1;
      Polyorb.Poa_Policies.Lifespan_Policy.Persistent'Elab_Spec;
      E405 := E405 + 1;
      Polyorb.Poa_Policies.Lifespan_Policy.Transient'Elab_Spec;
      Polyorb.Poa_Policies.Request_Processing_Policy'Elab_Spec;
      E388 := E388 + 1;
      Polyorb.Poa_Policies.Request_Processing_Policy.Active_Object_Map_Only'Elab_Spec;
      Polyorb.Poa_Policies.Request_Processing_Policy.Use_Default_Servant'Elab_Spec;
      Polyorb.Poa_Policies.Request_Processing_Policy.Use_Servant_Manager'Elab_Spec;
      Polyorb.Poa_Policies.Servant_Retention_Policy'Elab_Spec;
      E389 := E389 + 1;
      Polyorb.Poa_Policies.Servant_Retention_Policy.Non_Retain'Elab_Spec;
      E417 := E417 + 1;
      Polyorb.Poa_Config.Proxies'Elab_Spec;
      Polyorb.Poa_Config.Proxies'Elab_Body;
      E411 := E411 + 1;
      Polyorb.Poa_Config.Racws'Elab_Spec;
      Polyorb.Poa_Config.Racws'Elab_Body;
      E409 := E409 + 1;
      Polyorb.Poa_Policies.Servant_Retention_Policy.Retain'Elab_Spec;
      Polyorb.Poa_Config.Root_Poa'Elab_Spec;
      Polyorb.Poa_Config.Root_Poa'Elab_Body;
      E652 := E652 + 1;
      Polyorb.Protocols.Giop'Elab_Spec;
      Polyorb.Protocols.Giop.Giop_1_0'Elab_Spec;
      Polyorb.Protocols.Giop.Giop_1_1'Elab_Spec;
      Polyorb.Protocols.Giop.Iiop'Elab_Spec;
      Polyorb.Protocols.Giop.Iiop'Elab_Body;
      E521 := E521 + 1;
      Polyorb.Servants.Group_Servants'Elab_Spec;
      Polyorb.Obj_Adapters.Group_Object_Adapter'Elab_Body;
      E578 := E578 + 1;
      Polyorb.Servants.Iface'Elab_Spec;
      E274 := E274 + 1;
      Polyorb.Servants'Elab_Body;
      E273 := E273 + 1;
      Polyorb.Protocols'Elab_Body;
      E267 := E267 + 1;
      Polyorb.Services.Naming.Helper'Elab_Spec;
      Polyorb.Services.Naming.Helper'Elab_Body;
      E335 := E335 + 1;
      Polyorb.Services.Naming.Namingcontext'Elab_Spec;
      E331 := E331 + 1;
      POLYORB.DSA_P.NAME_SERVICE.COS_NAMING'ELAB_BODY;
      E323 := E323 + 1;
      Polyorb.Services.Naming.Namingcontext.Helper'Elab_Spec;
      Polyorb.Services.Naming.Namingcontext.Helper'Elab_Body;
      E337 := E337 + 1;
      Polyorb.Services.Naming.Namingcontext.Client'Elab_Body;
      E333 := E333 + 1;
      Polyorb.Services.Naming.Namingcontext.Servant'Elab_Spec;
      POLYORB.SERVICES.NAMING.NAMINGCONTEXT.SERVANT'ELAB_BODY;
      E456 := E456 + 1;
      POLYORB.SERVANTS.GROUP_SERVANTS'ELAB_BODY;
      E580 := E580 + 1;
      E458 := E458 + 1;
      Polyorb.Requests'Elab_Body;
      E233 := E233 + 1;
      Polyorb.Binding_Data'Elab_Body;
      E180 := E180 + 1;
      Polyorb.Orb.Thread_Pool'Elab_Spec;
      Polyorb.Orb.Thread_Pool'Elab_Body;
      E462 := E462 + 1;
      Polyorb.Poa_Manager.Basic_Manager'Elab_Spec;
      Polyorb.Poa_Manager.Basic_Manager'Elab_Body;
      E381 := E381 + 1;
      Polyorb.Poa'Elab_Spec;
      Polyorb.Poa'Elab_Body;
      E371 := E371 + 1;
      Polyorb.Poa_Policies.Servant_Retention_Policy.Retain'Elab_Body;
      E401 := E401 + 1;
      E419 := E419 + 1;
      E407 := E407 + 1;
      E658 := E658 + 1;
      E656 := E656 + 1;
      E399 := E399 + 1;
      E654 := E654 + 1;
      E397 := E397 + 1;
      Polyorb.Poa_Policies.Id_Assignment_Policy.User'Elab_Body;
      E413 := E413 + 1;
      Polyorb.Poa_Policies.Id_Assignment_Policy.System'Elab_Body;
      E393 := E393 + 1;
      Polyorb.Dsa_P.Name_Service.Mdns'Elab_Body;
      E339 := E339 + 1;
      POLYORB.DSA_P.NAME_SERVER'ELAB_BODY;
      E450 := E450 + 1;
      Polyorb.Poa.Basic_Poa'Elab_Spec;
      Polyorb.Poa.Basic_Poa'Elab_Body;
      E650 := E650 + 1;
      Polyorb.References.Binding'Elab_Body;
      E299 := E299 + 1;
      Polyorb.Dsa_P.Name_Service'Elab_Body;
      E321 := E321 + 1;
      E660 := E660 + 1;
      Polyorb.Setup.Oa.Basic_Poa'Elab_Body;
      E648 := E648 + 1;
      Polyorb.Transport.Handlers'Elab_Spec;
      E305 := E305 + 1;
      Polyorb.Orb'Elab_Body;
      E182 := E182 + 1;
      Polyorb.Transport.Connected'Elab_Spec;
      Polyorb.Transport.Connected'Elab_Body;
      E523 := E523 + 1;
      Polyorb.Giop_P.Code_Sets.Converters'Elab_Spec;
      E569 := E569 + 1;
      Polyorb.Representations.Cdr.Common'Elab_Body;
      E429 := E429 + 1;
      Polyorb.Giop_P.Code_Sets.Converters'Elab_Body;
      E571 := E571 + 1;
      Polyorb.References.Ior'Elab_Body;
      E435 := E435 + 1;
      Polyorb.Representations.Cdr'Elab_Body;
      E427 := E427 + 1;
      Polyorb.Qos.Service_Contexts'Elab_Spec;
      Polyorb.Qos.Service_Contexts'Elab_Body;
      E425 := E425 + 1;
      Polyorb.Giop_P.Service_Contexts'Elab_Body;
      E561 := E561 + 1;
      Polyorb.Protocols.Giop.Common'Elab_Body;
      E480 := E480 + 1;
      Polyorb.Qos.Code_Sets'Elab_Spec;
      Polyorb.Qos.Code_Sets'Elab_Body;
      E585 := E585 + 1;
      Polyorb.Protocols.Giop.Giop_1_2'Elab_Spec;
      Polyorb.Qos.Exception_Informations'Elab_Spec;
      Polyorb.Qos.Exception_Informations'Elab_Body;
      E423 := E423 + 1;
      Polyorb.Qos.Tagged_Components'Elab_Spec;
      E472 := E472 + 1;
      Polyorb.Giop_P.Tagged_Components'Elab_Spec;
      Polyorb.Giop_P.Tagged_Components'Elab_Body;
      E470 := E470 + 1;
      Polyorb.Giop_P.Tagged_Components.Code_Sets'Elab_Spec;
      Polyorb.Giop_P.Tagged_Components.Code_Sets'Elab_Body;
      E576 := E576 + 1;
      Polyorb.Giop_P.Transport_Mechanisms'Elab_Spec;
      Polyorb.Giop_P.Transport_Mechanisms'Elab_Body;
      E474 := E474 + 1;
      POLYORB.BINDING_DATA.GIOP'ELAB_SPEC;
      E467 := E467 + 1;
      Polyorb.Protocols.Giop'Elab_Body;
      E476 := E476 + 1;
      Polyorb.Binding_Data.Giop.Iiop'Elab_Spec;
      Polyorb.Qos.Term_Manager_Info'Elab_Spec;
      Polyorb.Qos.Term_Manager_Info'Elab_Body;
      E439 := E439 + 1;
      Polyorb.Representations.Cdr.Giop_1_0'Elab_Spec;
      Polyorb.Representations.Cdr.Giop_1_0'Elab_Body;
      E563 := E563 + 1;
      Polyorb.Protocols.Giop.Giop_1_0'Elab_Body;
      E559 := E559 + 1;
      Polyorb.Representations.Cdr.Giop_1_1'Elab_Spec;
      Polyorb.Representations.Cdr.Giop_1_1'Elab_Body;
      E567 := E567 + 1;
      Polyorb.Protocols.Giop.Giop_1_1'Elab_Body;
      E565 := E565 + 1;
      Polyorb.Representations.Cdr.Giop_1_2'Elab_Spec;
      Polyorb.Representations.Cdr.Giop_1_2'Elab_Body;
      E583 := E583 + 1;
      Polyorb.Protocols.Giop.Giop_1_2'Elab_Body;
      E574 := E574 + 1;
      Polyorb.Setup.Iiop'Elab_Body;
      E557 := E557 + 1;
      Polyorb.Utils.Configuration_File'Elab_Spec;
      Polyorb.Utils.Configuration_File'Elab_Body;
      E443 := E443 + 1;
      Polyorb.Parameters.File'Elab_Body;
      E555 := E555 + 1;
      E529 := E529 + 1;
      Polyorb.Utils.Sockets'Elab_Body;
      E511 := E511 + 1;
      Polyorb.Binding_Data.Giop.Inet'Elab_Body;
      E488 := E488 + 1;
      Polyorb.Giop_P.Tagged_Components.Alternate_Iiop_Address'Elab_Spec;
      Polyorb.Giop_P.Tagged_Components.Alternate_Iiop_Address'Elab_Body;
      E519 := E519 + 1;
      Polyorb.Giop_P.Transport_Mechanisms.Iiop'Elab_Spec;
      Polyorb.Binding_Data.Giop.Iiop'Elab_Body;
      E486 := E486 + 1;
      Polyorb.Transport.Connected.Sockets'Elab_Spec;
      Polyorb.Transport.Connected.Sockets'Elab_Body;
      E525 := E525 + 1;
      Polyorb.Giop_P.Transport_Mechanisms.Iiop'Elab_Body;
      E515 := E515 + 1;
      Polyorb.Utils.Tcp_Access_Points'Elab_Body;
      E531 := E531 + 1;
      Polyorb.Setup.Access_Points.Iiop'Elab_Body;
      E465 := E465 + 1;
      System.Partition_Interface'Elab_Spec;
      System.Partition_Interface'Elab_Body;
      E110 := E110 + 1;
      Polyorb.Dsa_P.Partitions'Elab_Body;
      E008 := E008 + 1;
      POLYORB.DSA_P.STORAGES'ELAB_SPEC;
      POLYORB.DSA_P.STORAGES'ELAB_BODY;
      E702 := E702 + 1;
      E704 := E704 + 1;
      Polyorb.Termination_Manager'Elab_Spec;
      Polyorb.Termination_Manager.Bootstrap'Elab_Spec;
      Polyorb.Termination_Manager.Bootstrap'Elab_Body;
      E708 := E708 + 1;
      Polyorb.Termination_Manager'Elab_Body;
      E706 := E706 + 1;
      System.Dsa_Services'Elab_Body;
      E700 := E700 + 1;
      E674 := E674 + 1;
      E672 := E672 + 1;
      Ball'Elab_Spec;
      E670 := E670 + 1;
      Ball_Controller'Elab_Spec;
      Ball_Controller'Elab_Body;
      E685 := E685 + 1;
      Player_Package'Elab_Spec;
      Player_Package'Elab_Body;
      E691 := E691 + 1;
      Manager_Package'Elab_Spec;
      Manager_Package'Elab_Body;
      E689 := E689 + 1;
      Referee_Package'Elab_Spec;
      Referee_Package'Elab_Body;
      E695 := E695 + 1;
      Timer_Package'Elab_Spec;
      Timer_Package'Elab_Body;
      E697 := E697 + 1;
      Game'Elab_Spec;
      E668 := E668 + 1;
      E666 := E666 + 1;
      Partition'Elab_Body;
      E002 := E002 + 1;
   end adainit;

   function main
     (argc : Integer;
      argv : System.Address;
      envp : System.Address)
      return Integer
   is
      procedure Initialize (Addr : System.Address);
      pragma Import (C, Initialize, "__gnat_initialize");

      procedure Finalize;
      pragma Import (C, Finalize, "__gnat_finalize");
      Ensure_Reference : aliased System.Address := Ada_Main_Program_Name'Address;
      pragma Volatile (Ensure_Reference);

   begin
      gnat_argc := argc;
      gnat_argv := argv;
      gnat_envp := envp;

      Initialize (System.Null_Address);
      adainit;
      adafinal;
      Finalize;
      return (gnat_exit_status);
   end;

--  BEGIN Object file/option list
   --   /Users/paolo/Universita/pcarlett-soccer/2.0//dsa/i386-apple-darwin12.2.0/partitions/dist_soccer/server_partition/polyorb-partition_elaboration.o
   --   /Users/paolo/Universita/pcarlett-soccer/2.0//dsa/i386-apple-darwin12.2.0/partitions/dist_soccer/server_partition/polyorb-dsa_p-partitions.o
   --   /Users/paolo/Universita/pcarlett-soccer/2.0//dsa/i386-apple-darwin12.2.0/partitions/dist_soccer/server_partition/polyorb-dsa_p-storages-config.o
   --   /Users/paolo/Universita/pcarlett-soccer/2.0/dsa/i386-apple-darwin12.2.0/obj/pos.o
   --   /Users/paolo/Universita/pcarlett-soccer/2.0/dsa/i386-apple-darwin12.2.0/obj/field_package.o
   --   /Users/paolo/Universita/pcarlett-soccer/2.0/dsa/i386-apple-darwin12.2.0/obj/ball.o
   --   /Users/paolo/Universita/pcarlett-soccer/2.0/dsa/i386-apple-darwin12.2.0/obj/ball_controller.o
   --   /Users/paolo/Universita/pcarlett-soccer/2.0/dsa/i386-apple-darwin12.2.0/obj/player_package.o
   --   /Users/paolo/Universita/pcarlett-soccer/2.0/dsa/i386-apple-darwin12.2.0/obj/manager_package.o
   --   /Users/paolo/Universita/pcarlett-soccer/2.0/dsa/i386-apple-darwin12.2.0/obj/referee_package.o
   --   /Users/paolo/Universita/pcarlett-soccer/2.0/dsa/i386-apple-darwin12.2.0/obj/timer_package.o
   --   /Users/paolo/Universita/pcarlett-soccer/2.0/dsa/i386-apple-darwin12.2.0/obj/game.o
   --   /Users/paolo/Universita/pcarlett-soccer/2.0/dsa/i386-apple-darwin12.2.0/obj/server.o
   --   /Users/paolo/Universita/pcarlett-soccer/2.0/dsa/i386-apple-darwin12.2.0/obj/start_server.o
   --   /Users/paolo/Universita/pcarlett-soccer/2.0//dsa/i386-apple-darwin12.2.0/partitions/dist_soccer/server_partition/partition.o
   --   -L/Users/paolo/Universita/pcarlett-soccer/2.0//dsa/i386-apple-darwin12.2.0/partitions/dist_soccer/server_partition/
   --   -L/Users/paolo/Universita/pcarlett-soccer/2.0//dsa/i386-apple-darwin12.2.0/stubs/
   --   -L/Users/paolo/Universita/pcarlett-soccer/2.0//./
   --   -L/Users/paolo/Universita/pcarlett-soccer/2.0//././
   --   -L/Users/paolo/Universita/pcarlett-soccer/2.0//./Server/
   --   -L/Users/paolo/Universita/pcarlett-soccer/2.0//./Server/Interfaces/
   --   -L/Users/paolo/Universita/pcarlett-soccer/2.0//./Server/Objects/
   --   -L/Users/paolo/Universita/pcarlett-soccer/2.0//./Server/Tasks/
   --   -L/Users/paolo/Universita/pcarlett-soccer/2.0//./Server/Debug/
   --   -L/Users/paolo/Universita/pcarlett-soccer/2.0//./Client/
   --   -L/Users/paolo/Universita/pcarlett-soccer/2.0//./Client/Auctions/
   --   -L/Users/paolo/Universita/pcarlett-soccer/2.0//./Client/User/
   --   -L/Users/paolo/Universita/pcarlett-soccer/2.0//./Client/Login/
   --   -L/Users/paolo/Universita/pcarlett-soccer/2.0//../Storage/
   --   -L/Users/paolo/Universita/pcarlett-soccer/2.0//../Streams/
   --   -L/Users/paolo/Universita/pcarlett-soccer/2.0//../Persistence/
   --   -L/Users/paolo/Universita/pcarlett-soccer/2.0//../Lock/
   --   -L/Users/paolo/Universita/pcarlett-soccer/2.0//../Transactions/
   --   -L/Users/paolo/Universita/pcarlett-soccer/2.0//../Memory/
   --   -L/Users/paolo/Universita/pcarlett-soccer/2.0//../Operations/
   --   -L/Users/paolo/Universita/pcarlett-soccer/2.0//../Recovery/
   --   -L/Users/paolo/Universita/pcarlett-soccer/2.0//../Utilities/
   --   -L/usr/local/Gtkada/lib/gtkada/static/
   --   -L/Users/paolo/Universita/pcarlett-soccer/2.0/dsa/i386-apple-darwin12.2.0/obj/
   --   -L/Users/paolo/Universita/pcarlett-soccer/2.0/dsa/i386-apple-darwin12.2.0/
   --   -L/usr/local/lib/polyorb/
   --   -L/Users/paolo/Universita/pcarlett-soccer/2.0/dsa/i386-apple-darwin12.2.0/partitions/dist_soccer/server_partition/
   --   -L/usr/local/gnat/lib/gcc/x86_64-apple-darwin10.2.0/4.5.3/adalib/
   --   -static
   --   -lgnarl
   --   -lgnat
--  END Object file/option list   

end ada_main;
